An information theoretic notion of software testability

In software testing, Failed Error Propagation (FEP) is the situation in which a faulty program state occurs during execution of system under test (SUT) but this does not lead to incorrect output. It known that FEP can adversely affect testing and has resulted associated information theoretic measures. To devise measures be used assess testability SUT. By testability, we mean how likely it state, will Previous work considered single point rather than an entire program. New, more fine-grained, were devised. Experiments evaluate these previously defined (Squeeziness Normalised Squeeziness). The experiments assessed well correlated with estimate probability occurring testing. Mutants probability. A strong rank correlation was found between several FEP. Importantly, included Squeeziness whole SUT, simpler compute, or estimate, most other considered. Additional relatively insensitive choice mutants also suite. There scope use prone SUT As result, there potential such prioritise much might require.